1. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
2. Automata, languages and programming :
پدیدآورنده : ICALP 93. A. Lingas ... (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Lund <1993>,Theoretische Informatik.
3. CONCUR '95 :
پدیدآورنده : Insup Lee, Scott A. Smolka, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
4. Computer Aided Verification :
پدیدآورنده : edited by Rajeev Alur, Thomas A. Henzinger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
5. Differential and Integral Operators :
پدیدآورنده : edited by I. Gohberg, R. Mennicken, C. Tretter.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics.
رده :
QA329
.
E358
1998
6. Fractional order processes :
پدیدآورنده : by Seshu Kumar Damarla and Madhusree Kundu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Chaotic behavior in systems-- Mathematical models.,Fractional calculus.,Intelligent control systems-- Mathematics.,Chaotic behavior in systems-- Mathematical models.,Fractional calculus.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.
رده :
QA314
.
D295
2019eb
7. Generalized Functions Theory and Technique
پدیدآورنده : by Ram P. Kanwal.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Differential equations, Partial.,Functions, special.,Mathematics.
8. George boole.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
9. Introduction to Infinite Dimensional Stochastic Analysis
پدیدآورنده : by Zhi-yuan Huang, Jia-an Yan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Distribution (Probability theory).,Functional analysis.,Harmonic analysis.,Mathematics.,Operator theory.
10. Itô's Stochastic Calculus and Probability Theory
پدیدآورنده : edited by Nobuyuki Ikeda, Shinzo Watanabe, Masatoshi Fukushima, Hiroshi Kunita.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Distribution (Probability theory).,Mathematics.
11. Jump SDEs and the study of their densities :
پدیدآورنده : Arturo Kohatsu-Higa, Atsushi Takeuchi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Lévy processes.,Stochastic differential equations.,Lévy processes.,Stochastic differential equations.
رده :
QA274
.
23
12. Language and Automata Theory and Applications :
پدیدآورنده : edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
13. Malliavin calculus for Levy processes and infinite-dimensional Brownian motion : an introduction
پدیدآورنده : Osswald, Horst
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Malliavin calculus,، Levy processes,، Brownian motion processes
رده :
QA
274
.
O87M25
14. Markov processes for stochastic modeling /
پدیدآورنده : Oliver C. Ibe
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Markov processes,Stochastic processes
رده :
QA274
.
7
15. Mathematical Foundations of Computer Science 1977 :
پدیدآورنده : by J. Gruska.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.
رده :
QA267
.
B954
1977
16. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
17. Mathematical Structures of Nonlinear Science :
پدیدآورنده : by Melvyn S. Berger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Geometry.,Global analysis (Mathematics),Mathematics.
رده :
QA427
.
B964
1990
18. Optimal signal processing under uncertainty /
پدیدآورنده : Edward R. Dougherty.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical optimization.,Signal processing-- Mathematics.,Mathematical optimization.,Signal processing-- Mathematics.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK5102
.
9
.
D66
2018eb
19. Proceedings of the First North American Process Algebra Workshop :
پدیدآورنده : S. Purushothaman ... (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Prozessalgebra.
رده :
QA76
.
54
S687
1993
20. Proceedings of the International Conference on Stochastic Analysis and Applications, Hammamet, 2001
پدیدآورنده : edited by Sergio Albeverio, Anne Boutet de Monvel, and Habib Ouerdiane.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Stochastic analysis -- Congresses.,Stochastic analysis.
رده :
QA274
.
2
E358
2004
